\begin{tabbing}
R{-}Feasible\=\{i:l\}\+
\\[0ex](es{-}realizer(TERMOF\{\=test{-}spec:ObjectId,\+
\\[0ex]done:ut2,
\\[0ex]tg:ut2,
\\[0ex]b:ut2,
\\[0ex]done1:ut2,
\\[0ex]1:ut2,
\\[0ex]loc2:ut2,
\\[0ex]loc1:ut2,
\\[0ex]$\backslash\backslash$v:l,
\\[0ex]i:l\}))
\-\-
\end{tabbing}